Knowledge without Modality: A Simplified Framework for Chronological Ignorance
نویسنده
چکیده
p. 1 Knowledge Without Modality: A Simplified Framework for Chronological Ignorance p. 25 Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic p. 36 Logical Omniscience and Classical Logic p. 52 Weak Implication: Theory and Applications p. 65 Deriving Inference Rules for Terminological Logics p. 84 Linear Proofs and Linear Logic p. 106 Relevance and Revision About Generalizing Syntax-based Belief Revision p. 126 Modellings for Belief Change: Base Contraction, Multiple Contraction, and Epistemic Entrenchment p. 139
منابع مشابه
Knowledge without Modality: A Simpli ed Framework for Chronological Ignorance
Shoham's logic of chronological ignorance (CI) provides a formal approach for representing and reasoning about causal relationships. The utility of the formalism comes from imposing a partial order on Kripke interpretations for theories in a modal logic of temporal knowledge. In this paper we show that the use of modal logic in this context is unnecessary and that the same result can be achieve...
متن کاملA Practical Theory of Nonmonotonic Temporal Modelling
This paper sets out a framework for modelling causal or predictive systems, and is concerned with bridging the gap between the theory and practice of nonmonotonic temporal reasoning. The central result is a nonmonotonic reasoning methodology which subsumes Shoham's chronological ignorance (CI) formalism for causal theories. The new formalism uses an extension of Re-iter's default logic and, unl...
متن کاملAnalysis of "the Vittues of Ignorance" from Julia Driver’s Viewpoint
With an emphasis on Julia Driver’s ideas about virtue, this paper intends to illustrate an approach on virtues that despite of accepting general frameworks, it attempts to weaken the genuine role of knowledge in Aristotelian ethics and defines and justifies some important virtues based on ignorance and unawareness. The virtues in his view include modesty, trust, forgiveness, spontaneous courage...
متن کاملChronological Ignorance: Time, Nonmonotonicity, Necessity and Causal Theories
Concerned with the problem of reasoning efficiently about change within a formal system, we identify the initiution problem. The solution to it which we offer, called the logic of chronological ignorance, combines temporal logic, nor-monotonic logic, and the modal logic of necessity. We identify a class of theories, called causal theories, which have elegant model-theoretic and complexity prope...
متن کاملAnalysis of the effect of "ignorance" on realization The "Al-Dar" rule In the legislative and judicial system of Iran
In penal systems, presumption of knowledge of law and its probative value have lost its general function,Due to relatively numerous exceptions and violations of justice and fairness. In the Islamic Penal Code adopted in 2013,Because of the connection between ignorance and another category called "Suspicion",There is more flexibility in accepting ignorance as a legal excuse.However,in Articles 1...
متن کامل